Yes, CCR5delta32 mutation produces a protein, but
Post# of 148158
Its a different protein. The mutation is such that
With 32 DNA base pairs deleted, there are about ten amino acids that are deleted from the protein.
The mutant protein never even makes it to the cell surface:
"Some populations have individuals exhibiting a 32 bp deletion in the CCR5 gene (CCR5-delta32) that produces a truncated non-functional protein not expressed on the cell surface. "https://www.sciencedirect.com/science/article/abs/pii/S1567134816301964
So while the mutated CCR5delta32 gene does express a protein, that protein is never seen by either HIV viruses or leronlimab molecules.