Antioxidative properties of the essential oil from Pinus mugo.