4-propylpiperidin-2-one