2,10,11b-Trimethyl-11bH-[1,2]benzothiaphospholo[2,3-b][1,2]benzothiaphosphole AIDS-137692 AIDS137692 NSC642780