Proud Boys leader was a police informant