AIDS-133072 AIDS133072 NSC628252 Spiro[bicyclo[3.3.1]nonane-2,2'-[1,3]dioxolan]-9-one, 6-hydroxy-1,5,6-trimethyl-