The film in primary question was made before 1995 and rated at ISO 800.
There was no manufacturer's brand ISO 800 CN film on the market back then. I also never learned about an uprated house-brand film. So this would mean a downrating of faster films. The next in speed would have been the Agfacolor XRS 1000 Professional.
Or a special house-brand ISO 800 film.