Gravar-mail: Cotranslational insertion of selenocysteine into formate dehydrogenase from Escherichia coli directed by a UGA codon.