Big pharma stocks crash after Trump names RFK Jr head of US Department of Health.