1,5-Anhydroxylitol from leaves of Olea europea L. cv. Frantoio.