Mercuric Fluoride, a New Fluorinating Agent