U.S. had agents inside al-Qaeda