Pátio Michelangiolesco, Termas de Diocleciano