Gravar-mail: Genes and proteins of Escherichia coli K-12 (GenProtEC).