Theoretical Study on the Mechanism of Spirocyclization in Spiroviolene Biosynthesis.