Synthesis of MK-3281 (Synfacts, 2011)