IOC formally strips American cyclist of gold medal