Analysis of the Escherichia coli proBA locus by DNA and protein sequencing.