1,5-Dihydro-2,3,4-benzotrithiepine 2-oxide AIDS-131565 AIDS131565 NSC624162