1-Piperidinecarboxylic acid, 3,5-bis(phenylmethylene)- 4-oxo-, phenylmethyl ester AIDS-133842 AIDS133842 Benzyl 3,5-dibenzylidene-4-oxo-1-piperidinecarboxylate NSC630609