3-(3-(Acetyloxy)-1-(2-((tert-butoxycarbonyl)amino)-3-methylbutanoyl)-2-pyrrolidinyl)-3-hydroxypropanoic acid AIDS-142271 AIDS142271 NSC659306