Gravar-mail: Gene-protein index of Escherichia coli K-12.