My guess one possible reason we got different numbers is IMS had been adjusting weekly numbers as I can't add weekly number to match monthly number. Monthly number Guerlain provided might be more accurate. Let's use his monthly number for this exercise.
Let's take $63m international revenue out of Olysio, US revenue became $291m, plug these new numbers into same formula, Sovaldi US revenue should be about $2.077B. It's tough to say what international revenue will be. Most likely US number can't be off too far, otherwise it will be a big surprise!