I'm not 100% on this, but I think 531pro disappeared sometime late 80's and was replaced by 653. I dont recall bikes being built with 531 pro after this time (a small custom builder might have had some in stock, but not a major player like pug). Those who wanted something lighter than 531C, but couldnt afford 753 went for 653.
FWIW, I think 531C was a better tubeset than 531P - much stronger for not much more weight. 531SL and then its replacement 531P always seemed a bit fragile. Many top level teams rode 531C to success