Juan Marichal; Post-War HoF RC