GO:0043367:   CD4-positive, alpha-beta T cell differentiation
The process in which a relatively unspecialized T cell acquires specialized features of a mature CD4-positive, alpha-beta T cell.