Electrochemical oxidation of cyclooctatetraene in the presence of allyltrimethylsilane. Anodic trialkylation with bicyclization