AIDS-139683 AIDS139683 Methyl 2-(2-(2-methyl-1,3-dioxolan-2-yl)ethyl)-3-oxobutanoate NSC649459