4-(2-Naphthylsulfonyl)-2-butyn-1-ol AIDS-131604 AIDS131604 NSC624252