. . . . "3-hydroxyisobutyrate dehydrogenase" .