Yes it was R12 to begin with. Now 134A. I suspect this IS the problem.
Years ago bought a 90 Mazda that was originally R12 and had been converted to R134 somewhere along the line. The AC was very weak despite having a good charge. I converted it back and it was pretty good.