4-Piperidinone, 3-(diphenylmethyl)-1-(2-thienylmethyl)-