2-Pyrrolidinecarboxamide, N-(cyanomethyl)-5-oxo- AIDS-192172 AIDS192172