2-(2-Fluorophenyl)-4-(2-naphthyl)-2,3,4,5-tetrahydro-1,5-benzothiazepine 1,1-dioxide AIDS-134113 AIDS134113 NSC631539