Variando de 0x00 a 0xFF, temos 0x80 como 50%, então com certeza 0x57 é bem menos que 87%.

Simplificando, multiplicar 0xFF (255) por 0,87 dá praticamente 0xDD (222), portanto a cor desejada seria:

    #dd000000

Segue uma tabela básica como referência:

         0% 0x00          0 
         5% 0x0D         13 
        10% 0x1A         26 
        15% 0x26         38 
        20% 0x33         51 
        25% 0x40         64 
        30% 0x4D         77 
        35% 0x59         89 
        40% 0x66        102 
        45% 0x73        115 
        50% 0x80        128 
        55% 0x8C        140 
        60% 0x99        153 
        65% 0xA6        166 
        70% 0xB3        179 
        75% 0xBF        191 
        80% 0xCC        204 
        85% 0xD9        217 
        90% 0xE6        230 
        95% 0xF2        242 
       100% 0xFF        255