(R)-5-propyl-5,6-dihydroindolizine