The controller needs to have a handling voltage of at least 120 volts.
I am not aware of one converting to 12 volts, the conversion ratio of Vmax = Vmppt of 71 volts to 12 volts is 5.9:1.
The efficiency may suffer with any of the common types, like a BUCK converter, though the efficiency may be around 85 to 90 %.
The C35, or C40 family does not work here, the reason is simple, these types are not RATIO converters but "pulsers" at low frequency to connect the power source DIRECTLY to the load (battery) limiting the current by opening the MosFet at around 100 to 200 Hertz.
A fly back, a single MosFet forward, or a two Mosfet forward converter may do, though the efficiency may run in the 80 to 85 %.
Nando