2-Pyrrolidinecarboxamide, N-(2-cyanoethyl)-3-methyl-5-oxo- AIDS-192173 AIDS192173