3-Isopropylmalate dehydratase