Bitcoin DeFi application Alex Lab attributes $4 million exploit to North Korea's Lazarus Group.