Robust Planning with Compound LLM Architectures: An LLM-Modulo Approach