Gravar-mail: Peptides presenting the binding site of human CD4 for the HIV-1 envelope glycoprotein gp120