. "Imidazoleglycerol-phosphate dehydratase" . .