2-(2-(Phenylsulfonyl)-2,3-butadienyl)cyclohexanone AIDS-143117 AIDS143117 NSC662788