9b-(3-Butenyl)-2,3,4a,9b-tetrahydrodibenzo[b,d]thiophen-4(1H)-one AIDS-134220 AIDS134220 NSC631699