2-(1-Oxido-4-(2-thienyl)-2,3-dihydro-1,5-benzothiazepin-2-yl)phenol AIDS-134117 AIDS134117 NSC631543