1-Piperidinecarboxylic acid, isopropyl ester AIDS-167154 AIDS167154