(3S)-N-cyclopropylpyrrolidin-3-amine