4-(1-Naphthylsulfonyl)-2-butyn-1-ol AIDS-131605 AIDS131605 NSC624253