Thymosiosterol and Δ24 thymosiosterol, new sterols from the sponge Thymosiopsis sp.