AIDS-153089 AIDS153089 Diethyl 5-methyl-3-oxo-1,4,5,7a-tetrahydro-2-benzofuran-3a(3H)-ylphosphonate NSC699030