AIDS-139861 AIDS139861 NSC650035 Spiro[bicyclo[3.2.1]octane-2,2'-[1,3]dioxolan]-7-ol, 8,8-dimethyl-