AIDS-126946 AIDS126946 NSC133690 Propyl 3-((dipropoxyphosphoryl)oxy)-2,2,4-trimethyl-3-pentenoate