HIV postexposure prophylaxis during COVID-19.