Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge