AIDS-133688 AIDS133688 Diethyl 2-oxo-3-oxepanylphosphonate NSC629863