Contrastive Learning with Adversarial Examples