AIDS-144985 AIDS144985 NSC668591 tert-Butyl 2-((benzhydrylamino)carbonyl)-1-pyrrolidinecarboxylate