AIDS-144765 AIDS144765 Benzyl 2-(((benzyloxy)carbonyl)amino)-5-oxo-1-pyrrolidinecarboxylate NSC668028