Text this: Eucophylline, a tetracyclic vinylquinoline alkaloid from leuconotis eugenifolius