3β, 5α-dihydroxy-6β-methoxycholest-7-enes from the marine sponge Spongia agaricina