(S)-3-Hydroxybutyryl-CoA Dehydrogenase From the Autotrophic 3-Hydroxypropionate/4-Hydroxybutyrate Cycle in Nitrosopumilus maritimus