Enzymology of one-carbon metabolism in methanogenic pathways.