AIDS-126945 AIDS126945 Ethyl 3-((diethoxyphosphorothioyl)oxy)-2,2,4-trimethyl-3-pentenoate NSC133689