AIDS-150777 AIDS150777 Diethyl 1-((2,2-dimethylpropanoyl)oxy)-4-hydroxy-2-pyrrolidinylphosphonate NSC688886