5-氧代-1-乙烯基-L-脯氨酸