2-(2-Fluorophenyl)-4-(2-naphthyl)-2,3-dihydro-1,5-benzothiazepine 1-oxide AIDS-134108 AIDS134108 NSC631532