Gravar-mail: Improving HIV proteome annotation: new features of BioAfrica HIV Proteomics Resource