3-(3,4-Dichlorophenyl)-1-(2-naphthyl)-2-propen-1-one AIDS-137017 AIDS137017 NSC640532