Align-Pro: A Principled Approach to Prompt Optimization for LLM Alignment