512-56-1 AIDS-019796 AIDS019796 Trimethyl phosphate