HSV protests against red card for PSV