With a competent PWM generator on a microcontroller, you can create this carrier modulation easily enough yourself. Set the PWM frequency to 38 kHz and the duty cycle somewhere in the 33%-50% ...

U2’s 0 to -10 V output is inverted by the Q2, Q3, and Q4 differential amplifier via feedback to U3’s ADJ input, forcing U3 to ...