Dichloroverongiaquinol, a new marine antibacterial compound fromAplysina cavernicola. Isolation and synthesis