Diasin, A diterpene from Croton diasii