Enantiospecific approach to the tricyclic core structure of tricycloillicinone, ialibinones, and takaneones via ring-closing metathesis reaction