Cloning and functional verification of the Candida milleri HIS3 gene encoding imidazoleglycerol phosphate dehydratase.