1,4:5,8-Dimethano-9H-thioxanthen-9-one, dodecahydro-, 10,10-dioxide AIDS-126031 AIDS126031 NSC96509