1-Piperazinecarboxylic acid, 4-methyl-, 1-methyl-2-(1-piperidinyl)ethyl ester AIDS-192132 AIDS192132