Escherichia coli 7101-17 (DE3)