Covalent mechanochemistry of four-membered carbocycles