Festa augusti officium sanctorum martyrum Hippolyti, et Cassiani, patronorum hujus civitatis Mexicanae