AIDS-149777 AIDS149777 Diethyl 1-(2-(((benzyloxy)carbonyl)amino)-3-((tert-butoxycarbonyl)amino)propanoyl)-2,2-pyrrolidinedicarboxylate NSC685115