A diterpene, distanol, from Sideritis distans