Personally I would never add STP or any other 'friction reducing' additive to the oil in a classic Mini. It will result in the syncros going on the other gears due to its effect on the syncro hubs which require a certain friction level to work properly.
The solutions here are either to re-build the gearbox or double de-clutch. Either of those is a total solution.