(2S,4r)-1-2-乙基4-烯丙基-5-氧代吡咯烷-1,2-二羧酸叔丁酯