AIDS-133687 AIDS133687 Diethyl 2-oxotetrahydro-2H-pyran-3-ylphosphonate NSC629862