Jason Self at
Is it something like this? https://www.amazon.com/dp/B06WRRGYMM/
Thanks, but it turns out that an amplifier that takes RCA input will do what I need (conversion of 3.5mm jack to a pair of RCA outputs doesn't require any fancy circuitry -- it's just a line split, which I hadn't known until now).