1-Piperidinecarboxylic acid, 4-oxo-3,5-bis(phenyl- methylene)-, ethyl ester AIDS-133835 AIDS133835 Ethyl 3,5-dibenzylidene-4-oxo-1-piperidinecarboxylate NSC630602