1040-X.
https://www.irs.gov/instructions/i1040x#en_US_202301_publink100079585
https://www.irs.gov/instructions/i1040x#en_US_2023_publink1000110566
However, I'm not sure if the software (or the IRS) is set up well to e-file a 1040 to 1040-NR. It might need to be paper filed.
