Gravar-mail: Virtual Screening with AutoDock Vina and the Common Pharmacophore Engine of a low diversity library of fragments and hits against the three allosteric sites of HIV integrase: participation in the SAMPL4 protein-ligand binding challenge