AIDS-151819 AIDS151819 Methyl 5-((2-ethoxy-2-oxoethyl)thio)-4-methoxy-2-pyrrolidinecarboxylate NSC693715