Marine natural products and their potential applications as anti-infective agents.