Effect of the presence of man on the air ion density in an office room