2,4-Di(1-naphthyl)-2,3-dihydro-1,5-benzothiazepine 1-oxide AIDS-135350 AIDS135350 NSC634926