8a-Methyl-7,8,8a,10,11,13-hexahydro-6H,9H-benzo[7,8]isothiochromeno[4,3-c]thiochromen-9-one AIDS-140784 AIDS140784 NSC654112