The Littlewood conjecture is an example that meets all my requirements.
It is easy to state and obviously $\Pi^1_1$. Furthermore this comment gives me confidence that it has no known reduction to an arithmetical sentence. Hopefully it even lacks a known reduction to a $\Sigma^1_1$ sentence.