Computational Redesign of the HIV-1 Hypervariable V2 Loop for Vaccine Immunogen Engineering