Python utility convert Windows long file name into 8.3 DOS format

[Ben Kial]

Is there a Python program to convert Windows long filename, like "c:\Program
Files" into the old DOS 8.3 format, like "c:\Progra~1"?

Thanks in advance,

Ben