Text this: Photoinduced formal [4 + 2] cycloaddition of two electron-deficient olefins and its application to the synthesis of lucidumone