A highly constrained cyclic (S,S)-CDC- peptide is a potent inhibitor of carotid artery thrombosis in rabbits