Has anybody heard this mix?
It's listed in the German Fan Club Collectors guide for around £60 and the seller is right - it's not on the Freddie boxset.
There is an alternative extended mix of this track, but it is not only from Brazil, it is also found on the US 12". Not in the box set as you mentioned.