It is misleading and unrealistic to expect absoluteproof of causation but it is clear that appropriate codes, properly implemented, are associated with a wide variety of favourable outcomes.
He played in an era in which many if not most of the top players have admitted to using performance enhancing drugs and there are reasonable suspicions, if not absoluteproof, that he did so too.