A model of a gp120 V3 peptide in complex with an HIV-neutralizing antibody based on NMR and mutant cycle-derived constraints.