AST-Guided Translation of Natural Language into First-Order Logic with LLMs