Genetic mapping of trxA, a gene affecting thioredoxin in Escherichia coli K12