Statistics for HIV subtype diversity worldwide