mouse isocitrate dehydrogenase with isocitrate and magnesium