There is no residue 80 chain K in PDB entry 4WFB