Homology modeling of HIV-1 gp120 and docking of molecules on its surface agree with experimental data