Statistics for IL-4 receptor-alpha-dependent control of Cryptococcus neoformans in the early phase of pulmonary infection