3-Piperidinol, 3-(1,3-benzodioxol-5-yl)-1-(methylsulfonyl)-