Modeling the CRL4A ligase complex to predict target protein ubiquitination induced by cereblon-recruiting PROTACs | Synapse