Does your source not have a separate digital audio output? If it does, you should just use that directly rather than try to strip audio out of the HDMI signal. You won't gain anything by pulling digital audio out of the HDMI. Converting digital coaxial to digital optical is easy and cheap...