4-cyclopropylpiperidin-4-ol