Mass-spectrometric studies of the interrelations among hydrogenase, carbon monoxide dehydrogenase, and methane-forming activities in pure and mixed cultures of Desulfovibrio vulgaris, Desulfovibrio desulfuricans, and Methanosarcina barkeri