Unprecedented diterpenoids as a PTP1B inhibitor from the Hainan soft coral Sarcophyton trocheliophorum Marenzeller.