You don't need to download them
CLick on start
Click on devices and printers
Now click on "Add a printer" at the top
Select "add a local printer"
Is it USB? If so click on "Use an exisiting port" Select USB in the list, if it uses a parallel cable (the very fat ones) select "LPT1". Now click next.
On the install printer driver, on the left hand colum for manufacturer - find HP.
Now on the right hand side - select printers and find "HP Laserjet 4000" and select PCL 6.
Should be good to go.