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).