Cyclic tetrapeptides via the ring contraction strategy: chemical techniques useful for their identification