Synthesis and biosynthesis of isocordoin