mitochondrial Krebs cycle enzyme, catalysing the formation of alpha-ketoglutarate from isocitrate [Pubmed]