(2S,4S)-1-[[N-benzyloxycarbonyl-[4-(4-fluoropiperidin-1-yl)carbonylbicyclo[2.2.2]oct-1-yl]amino]acetyl]-4-fluoropyrrolidine-2-carbonitrile