1,5-anhydroxylitol from leaves of Olea Europae L. cv. Frantoio.