Divergent Total Syntheses of Isobatzellines A/B and Batzelline A.