Mitochondrial isocitrate dehydrogenase