Lattice Packing from Quaternion Algebras