AIDS-132126 AIDS132126 NSC625466 Spiro[bicyclo[2.2.1]heptane-2,2'-[1,3]dioxolane]-6-methanol