Anti-AIDS agents 85. Design, synthesis, and evaluation of 1R,2R-dicamphanoyl-3,3-dimethyldihydropyrano-[2,3-c]xanthen-7(1H)-one (DCX) derivatives as novel anti-HIV agents.