3-hydroxyisobutyrate dehydrogenase, mitochondrial (HIBADH)