How to output an audio stream from a computer to an Android smartphone.