A combinatorial approach for determining protease specificities: application to interleukin-1β converting enzyme (ICE) | Litlas