why would you use mineral???
use the synthetic stuff
if you mix 50/50 mineral and syththetic in your gearbox might not be good idea.
However if you drain all the oil out of the gearbox and refill it with either sythetic or mineral you should have no issues with oil mixing together
BUT STICK WITH SYTHETIC BETTER PROPERTIES AND LONGER LASTING
cheers