U.S. state retirement fund boosts MicroStrategy stake despite stock downgrade