see  [[isocitrate dehydrogenase]]