Theoretical Characterization of an Intermediate for the [3 + 2] Cycloaddition Mechanism in the Bis(dihydroxy- quinidine)−3,6-Pyridazine·Osmium Tetroxide-Catalyzed Dihydroxylation of Styrene