25. Sesquiterpenoids. Part VIII. The constitution of pyrethrosin