Couldn't find it, but here's a no-frills version. This is minimally what a registry-entry-deleting .inf file needs:
[version]
signature = "$CHICAGO$"
[DefaultInstall]
DelReg = NoParasites
[NoParasites]
HKLM,"Software\Microsoft\Windows\CurrentVersion\Run","EntryNameToDelete"
Just create a text file with a ".inf" extension, and put the above lines in it. The first section describes the target platform ($CHICAGO$ is an old working name). The second section is predefined for default installations, which is fine here. The identifier "DelReg" is also predefined, and should be set to the name of the section that lists registry stuff to delete. You can put as many entries in the last section as you wish, and the syntax used here is for deleting individual registry entries. Many other manipulations are possible, but that's another story.
Obviously, one needs to replace "EntryNameToDelete" with the offending registry entry's name. The easiest way to run the file, is to right-click on it in explorere or the desktop, then select 'Install'. The command line for running it is in the registry under "HKCR\inffile\shell\Install\command". I'm sorry I don't have a more elegant solution.
Cheers