AIDS-126893 AIDS126893 Methyl 3-((dimethoxyphosphoryl)oxy)-2,2,4-trimethyl-3-pentenoate NSC131285