Gravar-mail: Analysis of the Escherichia coli proBA locus by DNA and protein sequencing.