my wife has a $7500 hud lein on her house from 1981. house payed off but can not find lein holder, who gets $?

loan on house being held up do to unknown lein holder. hud gives runaround