1-Piperazinecarboxylic acid, 4-methyl-, 1-methyl-3-piperidinyl ester AIDS-192137 AIDS192137