Speaking of quitting, when did Mos Def become Formerly Mos Def?