Renormalization of Hartree-Fock-Bogoliubov Equations