Spirodienyl derivatives and benzenonium ions