trans-4-hydroxy-β-prolinebetaine, a new betaine fromFurcellaria lumbricalis