Triterpene tetraglycosides from the sea cucumber Stichopus horrens