AIDS-143269 AIDS143269 Diethyl 4-(dimethoxymethyl)-3-(2-methoxy-2-oxoethyl)-1,1-cyclohexanedicarboxylate NSC663789