2-Piperidinomethyl-7-benzoylbenzodioxane