Epidemiological models with age structure, proportionate mixing, and cross-immunity