Yo usaría un DAC/amp que se conecte al PC por USB. Para recomendar uno concreto, lo mejor es saber tu presupuesto.

La impedancia de tu AT no es alta, tan sólo 35 Ohmios. Pero la calidad de sonido del DAC que lleva el ordenador, suele ser bastante mediocre.