3-isopropylmalate dehydratase