What is the average revenue of the top 25 biotechnology stocks (by market cap)?