Diterpenoids from the South China Sea soft coral Sarcophyton solidum. (October 2015)