How to report sale property abroad?

My wife, who is UK citizen (and US citizen), sold a condo she has owned for years this past year. She is paying UK capital gains tax on the sale of the condo, profit with whom she shared with her brother. We moved some of the profit to US to help put down payment on our current home. How should we handle this situation? How do we claim this on our taxes here? I assume we won't have to pay double tax, but I want to make sure we don't make any big mistakes. Thanks.