Finite-Dimensional Division Algebras over Fields