Lucent v. Microsoft, $1.53 billion over MP3