3-(4-Ethyl-5-vinyl-1,3-dioxolan-2-yl)propyl pivalate AIDS-152195 AIDS152195 NSC695210