How can I search for a dot an a number in sed or awk and prefix the number with a leading zero?

Question

I am trying to modify the name of a large number of files, all of them with the following structure:

4.A.1 Introduction to foo.txt
2.C.3 Lectures on bar.pdf
3