Olea europaea L. leaf extract and derivatives: antioxidant properties.