1-ethenylpyrrolidin-2-one but-2-enedioate (1:1)