In Pursuit of Carbohydrate-Based HIV Vaccines, Part 2: The Total Synthesis of High-Mannose-Type gp120 Fragments—Evaluation of Strategies Directed to Maximal Convergence†