Derivation of an adiabatic time-dependent Hartree-Fock formalism from a variational principle