add auto_incremente PK in MYSQL SERVER

Question

I am learning MYSQL, I did this structure

but, I dont know how put autoincrement into workbench

I try :

alter table Profesores CHANGE id id