小名不太可能当作正式姓名来使用

“红卫”确有当年的政治环境的痕迹，其实这并不罕见，中国乒乓球队里有一个叫'马文革“，中国足球队曾经有个球员叫”黄向东"。类似的例子很多。未必是当年做父母的有什么强烈的政治倾向，大致是随波逐流或者自保的一种方式吧。