The axiom of choice has many counterintuitive consequences like the Banach-Tarski paradox. The Hahn-Banach theorem is a consequence of the axiom of choice, but it is weaker.

I would like to know some counterintuitive consequences of the Hahn-Banach theorem. Can the Banach-Tarski paradox be derived from the Hahn-Banach theorem?