IRS gets decedent’s share of proceeds from asset sale