Evolutionary Dynamics for HIV Vaccine Design