4-Piperidinone, 1-(phenylmethyl)-3,5-bis(phenylmethylene)-, (3E)-