Asymmetric approach to Pauson-Khand bicyclization. Enantioselective formal synthesis of hirsutene