Derivations and genotypes of some mutant derivatives of Escherichia coli K12