Gravar-mail: Isolation of an Escherichia coli mutant deficient in thioredoxin reductase.