1-Piperazinecarboxylic acid, 4-methyl-, 2-(1-pyrrolidinyl)ethyl ester AIDS-192117 AIDS192117