Synthesis of (+)-batzelladine K