¿Cuál era el nombre oficial de Irán en el mundo occidental antes de 1935?