A Hartree–Fock–Bogoliubov mass formula