Pentacyclic triterpenoids and sterols from seven species of mangrove