Enantiospecific formal total synthesis of iriomoteolide 3a.