Efficient construction of benzohydrindenones from aryltrienones via domino Nazarov electrocyclization: electrophilic aromatic substitution