convert datetime to three letter month and year in R

Question

I need help to convert the first column of datetime in 3 letter month and year.

DF<-

Datetime              ID      Name
2020-01-01 10:12:14   I-1