other names for phosphorus