5-Ethenyl-2-pyrrolidinone