Renal stone formation is a multistep process that includes supersaturation of the urine, lack of inhibitory substances, and urinary stasis. Which type of renal calculi is associated with Proteus infection?