Empowering Collaborative Filtering with Principled Adversarial Contrastive Loss