New antimicrobial diterpenes from the sponge spongia officinalis