Challenges in predicting PROTAC-mediated protein–protein interfaces with AlphaFold reveal a general limitation on small interfaces | Synapse