hydroxybutyrate dehydrogenase