AIDS-133689 AIDS133689 Diethyl 2-oxooctahydro-1-benzofuran-3-ylphosphonate NSC629864