AIDS-142280 AIDS142280 NSC659315 tert-Butyl 3-(1-(2-((tert-butoxycarbonyl)amino)-3-methylbutanoyl)-3-hydroxy-2-pyrrolidinyl)-3-hydroxypropanoate