FDA bans red dye #3