13694: K00020 mmsB, HIBADH 3-hydroxyisobutyrate dehydrogenaseSEED: 3-hydroxyisobutyrate dehydrogenase (EC 1.1.1.31)