Synthesis of BC ring-systems of Taxol by ring-closing metathesis