Formal Synthesis of (+)-Laurallene (Synfacts, 2008)