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.