The formate hydrogenlyase activity of cytochrome c552-deficient mutants of Escherichia coli K12.