A quick update: play -d /dev/audio1 file.wav works, albeit with clicks in the sound output and a small amount of noise at the start of the playback, which isn't in the file. I haven't been able to get aplay working, however. Suggestions for debugging this configuration are most welcome.