US chip-export ban throws wrench into China AI works