BRST construction for infinite spin field on AdS₄ | Synapse