Isocryptolepine from Cryptolepis sanguinolenta