AIDS-136911 AIDS136911 Methyl 3-((diethoxyphosphoryl)oxy)-2-butenoate NSC640183