Československý biografický slovník – doplňek k Malé československé encyklopedii