I don't think you have to worry about it for now, You thought of washing it with antibacterial soap and it really doesn't look that bad. We got cat scratches all the time and never had any that got infected. The only thing to watch for are red streaks going up his arm and you'll know he needs medical attention. I wouldn't rush to put him on any antibiotics, they sometimes harm the immune system worse than a scratch will.