Synthetic carbohydrate antigens for HIV vaccine design.