Renal stone disease in autosomal dominant polycystic kidney disease.