Norcarpesterol and a related sterol from Solanum xanthocarpum