Computational Evaluation of HIV-1 gp120 Conformations of Soluble Trimeric gp140 Structures as Targets for de novo Docking of First- and Second-Generation Small-Molecule CD4 Mimetics