AIDS-133690 AIDS133690 Diethyl 1,8,8-trimethyl-3-oxo-2-oxabicyclo[3.2.1]oct-4-ylphosphonate NSC629865