Three-dimensional structures of HIV-1 and SIV protease product complexes.