I would recommend that you run the Add Printer Wizard and when you get to the driver selection screen, click on "Windows Update". Wait for that process to complete and you should see a driver named "HP LaserJet 4000 PCL6" or similar.
If that doesn't work, you can always use the Universal Printer Driver at http://www.hp.com/go/upd.
