3-isopropylmalate dehydrogenase