AIDS-144360 AIDS144360 Diethyl 3-methyl-1,2-butadienylphosphonate NSC666670