2-(1,3-Cyclohexadien-1-yl)-4-(2-naphthyl)-2,3-dihydro-1,5-benzothiazepine 1-oxide AIDS-160473 AIDS160473 NSC631537