AIDS-152194 AIDS152194 Diethyl 2-((tert-butoxycarbonyl)amino)-3-hydroxysuccinate NSC695208