IRA 'sold missiles to Eta'