alpha-hydroxybutyrate dehydrogenase