Text this: Isolation of jacaranone, a sedative constituent extracted from the flowers of the Mexican tree Ternstroemia pringlei.