Intramolecular Michael-type addition in the solid state