11a-(3-Butenyl)-9,10,11,11a-tetrahydronaphtho[2,1-b][1]benzothiophen-8(7aH)-one AIDS-134525 AIDS134525 NSC632974