3-hydroxybutyryl-CoA dehydrogenase