Illuminating HIV gp120-Ligand Recognition through Computationally-Driven Optimization of Antibody-Recruiting Molecules.