An interesting competition between 6π-electro- and Garratt–Braverman cyclization in bis-diene-allene sulfones: synergy between experiment and theory