Iran carries out first known execution over Amini protests