I use Stalube from NAPA in the old VW transaxles. Redline MT-90 would be the easiest to get synthetic. MTL is what I used in the BMW Getrag manual transmission in place of ATF.
Pennzoil 56076 is a GL-4 synthetic, if your local distributor happens to stock it.
Another alternative is Chevron Delo Gear ESI, if you can find it. From the PDS: "Tests have proven that Delo Gear ESI provide a wear protection film 3 to 5 times thicker than the conventional sulfur-phosphorus antiwear film. The inorganic borate film is composed of compounds thatdo not react with metal."