. . . . "IPP isomerase" .