. "3-isopropylmalate dehydrogenase" . .