2-(3,4-Dichlorophenyl)-2-vinyl-1,3-dioxolane AIDS-145890 AIDS145890 NSC671462