Gravar-mail: Regulation of formate dehydrogenase activity in Methanococcus thermolithotrophicus.