I made a little tutorial about how to do audio ducking with Audacity. It's posted over on my personal blog. Hope you find it helpful!