1-Piperazinecarboxylic acid, 4-methyl-, 1-methyl-4-piperidinyl ester AIDS-192138 AIDS192138