The quaternionic Hopf fibration in HoTT via a modified Cayley-Dickson construction