Gravar-mail: Combinatorial optimization of a CD4-mimetic miniprotein and co-crystal structures with HIV-1 gp120 envelope glycoprotein