(2S)-1-(9H-fluoren-9-ylmethoxycarbonyl)-4-prop-2-enoxycarbonylpiperazine-2-carboxylic acid