AIDS-150776 AIDS150776 Diethyl 4-hydroxy-5-oxo-2-pyrrolidinylphosphonate NSC688885