3-hydroxybutyrate dehydrogenase