A triterpenoid epoxide from polypodium vulgare