Starting July 11, Javier Muñoz, Mr. Miranda's alternate on the hit Broadway show, will step full-time into the lead role.
