How the US hit Iran with a banned AI