(2R)-2-cyclohexyl-2-[(3S,4S)-3-(3-fluorophenyl)-4-[[4-[(4-nitrophenyl)methoxycarbonyl-prop-2-enylamino]piperidin-1-yl]methyl]pyrrolidin-1-yl]acetic acid;2-[(3S,4S)-3-[[4-[ethyl(4-phenylbut-1-en-2-yl)amino]piperidin-1-yl]methyl]-4-phenylpyrrolidin-1-yl]-2-(furan-2-yl)acetic acid;2-[(3S,4S)-3-[[4-[ethyl(4-phenylbut-1-en-2-yl)amino]piperidin-1-yl]methyl]-4-phenylpyrrolidin-1-yl]-2-phenylacetic acid;(2R)-3-methyl-2-[(3S,4S)-3-[[4-[(4-nitrophenyl)methoxycarbonyl-prop-2-enylamino]piperidin-1-yl]methyl]-4-phenylpyrrolidin-1-yl]butanoic acid