3-Methyl-3-(3-(2-methyl-1,3-dioxolan-2-yl)propyl)-2-pyrrolidinone AIDS-143187 AIDS143187 NSC663575