In vivo 31P- and 13C-NMR studies of ATP synthesis and methane formation by Methanosarcina barkeri.