Gravar-mail: Active human immunodeficiency virus protease is required for viral infectivity.