What was the international impact of the 1956 Hungarian october revolution?