Autotrophic Microbiology and One-Carbon Metabolism