Why are the only (associative) division algebras over the real numbers the real numbers, the complex numbers, and the quaternions?

Here a division algebra is an associative algebra where every nonzero number is invertible (like a field, but without assuming commutativity of multiplication).

This is an old result proved by Frobenius, but I can't remember how the argument goes. Anyone have a quick proof?