1-cyclopropylpiperazin-2-one