De novo protein identification in mammalian sperm using in situ cryoelectron tomography and AlphaFold2 docking