8a-Hydroxy-2,2-dimethylhexahydro[1,3]dioxolo[4,5-b][1]benzofuran-7(4aH)-one AIDS-132147 AIDS132147 NSC625528