My dentist uses lidocaine and I found in a search for dental anesthetics that lidocaine is the most used followed by articaine and mepivacaine. I looked at several lists on different websites and did not find procaine.
But procaine is a real thing ..
Procaine is a local anesthetic drug of the amino ester group. It is most commonly used in dental procedures to numb the area around a tooth[1] and is also used to reduce the pain of intramuscular injection of penicillin. Owing to the ubiquity of the trade name Novocain or Novocaine, in some regions, procaine is referred to generically as novocaine.