1-Piperidinecarboxylic acid, 5-ethyl-2-methyl-, isopropyl ester AIDS-167155 AIDS167155