Theoretical study on the BF3-catalyzed Meinwald rearrangement reaction.