. "Histidinol dehydrogenase" . . . .