Otherwise, you need to fill up form 1116 to figure out foreign tax credit allowed depending on the ratio of foreign to US income. If not allowed full credit this year, you can use that later years, again depending the income ratio of the year you claim the tax credit.