AIDS-051145 AIDS051145 NSC655314 Spiro[7H-benzo[3,4]cyclobuta[1,2]cycloheptene-7,2'-[1,3]dioxolan]-4b(8H)-ol, 9,9a-dihydro-4-(2-methyl-1,3-dioxolan-2-yl)-