Synthesis of β-methyl-β-alanine-l-proline-XAA tripeptides by Yb(OTf)3 catalysed Michael addition of amines to N-crotonyl-l-proline-XAA: a versatile route to cyclic β-methyl-β-alanine-derived tripeptides via ring closing metathesis