7-Methyl-2,4,4-tris(phenylsulfonyl)bicyclo[4.2.0]oct-1-ene AIDS-139670 AIDS139670 NSC649445