The BeppoSAX High Energy Large Area Survey (HELLAS) - III. Testing synthesis models for the X-ray background