(2S,4S)-4-mercapto-2-[4-(4-nitrobenzyloxycarbonyl)-1-piperazinylcarbonyl]-1-methylpyrrolidine trifluoromethanesulfonate