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.