AIDS-125843 AIDS125843 Bicyclo[2.2.1]heptane-2,3-dimethanol, 7-(1-methylethylidene)- NSC86083